<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <meta http-equiv="refresh" content="0; URL=doc/html/index.html">
  </head>
  <body>
    <P>Automatic redirection failed, please go to
    <a href="doc/html/index.html">doc/html/index.html</a>.</P>
      <P>Copyright&nbsp;Edward Diener 2013</P>
  </body>
</html>
